Goto

Collaborating Authors

 loop rei


Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

arXiv.org Artificial Intelligence

This paper serves as a comprehensive system description of version 2.0 of the Marabou framework for formal analysis of neural networks. We discuss the tool's architectural design and highlight the major features and components introduced since its initial release.